Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
151	The AutoProof Verifier: Usability by Non-Experts and on Standard Code Carlo A. Furia Christopher M. Poskitt Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2015-08-14 13:22:55 Theoretical computer science Software engineering Formal methods Logic in computer science Software testing Formal verification Separation logic Loop invariant Software verification Eiffel Postcondition Invariant
152	Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model Alexander Heußner University of Bamberg, Germany Christopher M. Poskitt Claudio Corrodi Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2015-04-11 20:15:08 Software engineering Software Computing Parallel computing Object-oriented programming languages Object-oriented programming Concurrent programming languages Concurrent computing Edsger W. Dijkstra SCOOP Concurrency EiffelStudio
153	Microsoft Word - VOX 1287 ms Add to Reading List Source URL: www.isbtweb.org Language: English - Date: 2014-12-29 10:16:42 Evaluation Pharmaceutical industry Business Economy Software quality Validity Quality Systems engineering Validation Verification and validation Software verification and validation Process validation
154	Academic and Industrial Software Testing Conferences: Survey and Synergies Árpád Beszédes László Vidács Add to Reading List Source URL: www.inf.u-szeged.hu Language: English - Date: 2016-04-08 09:12:59 Engineering Academia Computing Academic conferences Piscataway New Jersey International Conference on Software Engineering and Formal Methods ISSRE Software engineering Software testing International Federation for Information Processing Software verification Institute of Electrical and Electronics Engineers
155	Visualizing and Verifying Directed Social Queries ¨ Angus Graeme Forbes, Saiph Savage, and Tobias Hollerer Fig. 1. Detail of the interactive verification visualization. Here we see the friends, keywords, and topics corr Add to Reading List Source URL: mat.ucsb.edu Language: English - Date: 2013-08-14 21:41:18 Software Computing Digital media Social networking services Social media Social information processing Blog hosting services Photo sharing Recommender system Internet privacy Google+ Facebook
156	Counter-Example Complete Verification for Higher-Order Functions N. Voirol, E. Kneuss, V. Kuncak EPFL Scala Symposium 2015 Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2015-06-14 21:40:26 Software engineering Computer programming Computing Data types Functional languages Functional programming Recursion Sorting algorithms Merge sort Scala List Cons
157	66 rue RiquetToulouse France Tel + Add to Reading List Source URL: www.spacelinks.com Language: English - Date: 2012-01-06 12:59:41 Computing Computer architecture Computer engineering Embedded operating systems Real-time operating systems Software quality Software testing Embedded systems RTEMS Validation Software verification and validation DO-254
158	Automatic Verification of Determinism for Structured Parallelism Martin Vechev IBM T.J. Watson Research Center Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-05 13:02:44 Software engineering Computing Computer programming Procedural programming languages Concurrent programming languages Object-oriented programming languages ALGOL 68 Nm Determinism Cilk D
159	Inferring Programmer Intent and Related Errors from Software By MARK GREGORY GABEL B.S. (California Polytechnic State University, San Luis ObispoM.S. (California Polytechnic State University, San Luis Obispo) 2006 Add to Reading List Source URL: web.cs.ucdavis.edu Language: English - Date: 2011-07-29 16:13:28 Theoretical computer science Technology Computing Product development Formal methods Logic in computer science Science and technology Formal verification Software development Software testing Oracle Software bug

UPDATE